Atomic theory - PDFSEARCH.IO - Document Search Engine

Atomic theory
Results: 444

#	Item
51	Published in Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004, pages 236–250. By Reason and Authority: A System for Authorization of Proof-Carrying Code Nathan Whitehead Department of Computer Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2010-10-29 12:59:44 Model theory Formal methods Propositional calculus Predicate logic Function Lambda calculus Forcing Well-formed formula Atomic formula Logic Mathematical logic Mathematics
52	Input DescriptionDecember 2014) ********************************* * Add to Reading List Source URL: www.msg.ameslab.gov Language: English - Date: 2015-01-22 16:25:52 Quantum chemistry Atomic physics Computational physics Fragment molecular orbital GAMESS Coupled cluster Multi-configurational self-consistent field Electronic correlation Møller–Plesset perturbation theory Chemistry Computational chemistry Theoretical chemistry
53	The SO(4) symmetry of the hydrogen atom Jonas Karlsson University of Minnesota December 14, 2010 Add to Reading List Source URL: math.umn.edu Language: English - Date: 2011-10-29 15:17:56 Classical mechanics Atoms Hydrogen Johann Jakob Balmer Balmer series Introduction to quantum mechanics Hydrogen atom Atomic theory Rydberg constant Physics Chemistry Emission spectroscopy
54	Use of Ab Initio Calculations to Help Interpret the UV-Visible Spectra of Aquavanadium Complexes Add to Reading List Source URL: staff.ycp.edu Language: English - Date: 2014-06-03 13:47:46 Quantum chemistry Chemical bonding Coordination chemistry Vanadium Tanabe-Sugano diagram Atomic orbital Ligand field theory Coordination complex Electron configuration Chemistry Transition metals Inorganic chemistry
55	QUASIPOLYNOMIAL NORMALISATION IN DEEP INFERENCE VIA ATOMIC FLOWS AND THRESHOLD FORMULAE PAOLA BRUSCOLI, ALESSIO GUGLIELMI, TOM GUNDERSEN, AND MICHEL PARIGOT ABSTRACT. Jeˇrábek showed that cuts in propositional-logic de Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2014-05-05 11:51:09 Natural deduction Sequent calculus Rule of inference Deep inference Sequent Cut-elimination theorem Substitution Propositional calculus Proof calculus Logic Proof theory Mathematical logic
56	Simulation of Molecular ALC Spectra using Density Functional Theory Francis Pratt ISIS ISIS Muon User Meeting Add to Reading List Source URL: www.isis.stfc.ac.uk Language: English - Date: 2015-06-16 18:17:46 Science Atomic physics Hyperfine structure Muon spin spectroscopy Muon Tetracyanoquinodimethane Chemistry Physics Spectroscopy
57	ACE: Automated CTF Estimation Satya P. Mallick a,b,∗ Add to Reading List Source URL: graphics.ucsd.edu Language: English Contrast transfer function Signal processing Parameter Estimation theory Atomic molecular and optical physics Optical aberration Astigmatism Parametrization Electromagnetic radiation Optics Microscopes Protein structure
58	Lecture Course within the IMPRS „Complex Surfaces in Materials Science“ Group Theory - An Introductory Course with Applications to Molecular and Solid State Physics Thursday 1000 – 1130 Fachbereichssitzungssaal, F Add to Reading List Source URL: w0.rz-berlin.mpg.de Language: English - Date: 2012-04-17 07:34:04 Symmetry Chemical bonding Theoretical chemistry Physical chemistry Molecular orbital Crystal Selection rule Linear combination of atomic orbitals Electronic band structure Chemistry Physics Quantum chemistry
59	An Efficient Decision Procedure for Imperative Tree Data Structures ? Thomas Wies1 , Marco Mu˜niz2 , and Viktor Kuncak3 1 Institute of Science and Technology (IST), Austria Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2011-05-02 03:09:28 Model theory Predicate logic Formal languages Metalogic First-order logic Interpretation Ground expression Atomic formula Well-formed formula Logic Mathematics Mathematical logic
60	Lecture Course within the International Max Planck Research School “Complex Surfaces in Materials Science” “Group theory - an introductory course with applications in molecular and solid state physics” Add to Reading List Source URL: w0.rz-berlin.mpg.de Language: English - Date: 2012-04-17 07:33:45 Chemical bonding Theoretical chemistry Molecular physics Computational chemistry Molecular orbital Electronic band structure Symmetry Atomic orbital Quantum mechanics Chemistry Physics Quantum chemistry

UPDATE